We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. (...) Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Roberty Alexy''s discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl''s nonmonotonic logic,conditional entailment. Discourse in focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority of rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of (...) the Uniform Commercial Code. (shrink)

We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. This new rule language for representing argumentation schemes is validated by using it to represent twenty representative argumentation schemes.

Carneades is an open source argument mapping application and a programming library for building argumentation support tools. In this paper, Carneades’ support for argument reconstruction, evaluation and visualization is illustrated by modeling most of the factual and legal arguments in Popov v Hayashi.

The co-occurrence of stress-induced posttraumatic stress disorder (PTSD) and obesity is common, particularly among military personnel but the link between these conditions is unclear. Individuals with comorbid PTSD and obesity manifest other physical and psychological problems, which significantly diminish their quality of life. Current understanding of the pathways connecting stress to PTSD and obesity is focused largely on behavioral mediators alone with little consideration of the biological regulatory mechanisms that underlie their co-occurrence. In this work, we leverage prior knowledge to (...) systematically highlight such bio-behavioral mechanisms and inform on the design of confirmatory pilot studies. We use natural language processing (NLP) to extract documented regulatory interactions involved in the metabolic response to stress and its impact on obesity and PTSD from over 8 million peer-reviewed papers. The resulting network describes the propagation of stress to PTSD and obesity through 34 metabolic mediators using 302 documented regulatory interactions supported by over 10,000 citations. Stress jointly affected both conditions through 21 distinct pathways involving only two intermediate metabolic mediators out of a total of 76 available paths through this network. Moreover, oxytocin (OXT), Neuropeptide-Y (NPY), and cortisol supported an almost direct propagation of stress to PTSD and obesity with different net effects. Although stress upregulated both NPY and cortisol, the downstream effects of both markers are reported to relieve PTSD severity but exacerbate obesity. The stress-mediated release of oxytocin, however, was found to concurrently downregulate the severity of both conditions. These findings highlight how a network-informed approach that leverages prior knowledge might be used effectively in identifying key mediators like OXT though experimental verification of signal transmission dynamics through each path will be needed to determine the actual likelihood and extent of each marker’s participation. (shrink)

This paper compares the features and methods of the two leading implemented systems that offer a tool for helping a user to find or invent arguments to support or attack a designated conclusion, the Carneades Argumentation System and the IBM Watson Debater tool. The central aim is to contribute to the understanding of scholars in informal logic, rhetoric and argumentation on how these two software systems can be useful for them. One contribution of the paper is to explain to these (...) potential users how the two tools are applicable to the task of inventing arguments by using some simple illustrative examples. Another is to redefine the structure of argument invention as a procedure. (shrink)

Argument invention is a method that can be used to help an arguer find arguments that could be used to prove a claim he needs to defend. The aim of this paper is to show how argumentation systems recently developed in artificial intelligence can be applied to the task of argument invention. One such system called Carneades is featured. Carneades can be used to analyze arguments, evaluate arguments, to make an argument diagram, and to construct arguments from a database. Using (...) some simple examples, the paper explains how Carneades works as a system of argument invention. (shrink)

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. Carneades also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

This paper shows how the critical questions matching an argumentation scheme can be mod-eled in the Carneades argumentation system as three kinds of premises. Ordinary premises hold only if they are supported by sufficient arguments. Assumptions hold, by default, until they have been questioned. With exceptions the negation holds, by default, until the exception has been supported by sufficient arguments. By “sufficient arguments”, we mean arguments sufficient to satisfy the applicable proof standard.

Five errors that fit under the category of jumping to a conclusion are identified: (1) arguing from premises that are insufficient as evidence to prove a conclusion (2) fallacious argument from ignorance, (3) arguing to a wrong conclusion, (4) using defeasible reasoning without being open to exceptions, and (5) overlooking/suppressing evidence. It is shown that jumping to a conclusion is best seen not as a fallacy itself, but as a more general category of faulty argumentation pattern underlying these errors and (...) some related fallacies. (shrink)

For early modern metaphysician Anne Conway, the world comprises creatures. In some sense, Conway is a monist about creatures: all creatures are one. Yet, as Jessica Gordon-Roth has astutely pointed out, that monism can be understood in very different ways. One might read Conway as an ‘existence pluralist’: creatures are all composed of the same type of substance, but many substances exist. Alternatively, one might read Conway as an ‘existence monist’: there is only one created substance. Gordon-Roth has (...) done the scholarship a great favor by illuminating these issues in Conway. However, this article takes issue with Gordon-Roth's further view that Conway ‘oscillates’ between the extremes of existence pluralism and monism. In its place, I argue we should read Conway as a priority monist: the whole of creation is ontologically prior to its parts. (shrink)

Descartes is not simply our iconic modern philosopher, mathematician or scientist. He stands as the cultural symbol for modernity itself. This title offers insights into the relationship between Descartes and the Modern, and the very meaning and status of Modernity itself.

This three-part paper presents Gordon Pask’s conversation theory (CT) and interaction of actors theory (IA) and outlines ways to apply these cybernetic approaches to designing technologies and scenarios for both formal and informal learning. The first part of the paper covers concepts central to CT and IA, explaining the relationship between conceptual and mechanical operators, and machines mediating informal and formal learning. The second part of the paper applies visual representations of CT and IA to understanding the use of (...) Pask’s course assembly systems (CASTE and THOUGHTSTICKER), created between the late 1960s and the 1980s, and the ThoughtShuffler search interface, created in the 2010s. The third part proposes two pathways for design based on CT and IA: firstly, the potential for designers and observers to reformulate the qualities of tools and learning scenarios to augment human thinking and collective action; and secondly, the possibility to create tools with malleable interfaces that allow users to become intermediaries rather than consumers of knowledge. (shrink)

Gordon Kaufman's theology is characterized by a heightened tension between transcendence, expressed as theocentrism, and immanence, expressed as theological naturalism. The interplay between these two motifs leads to a contradiction between an austerity created by the conjunction of naturalism and theocentrism, on the one hand, and a humanized cosmos which is characterized by a pivotal and unique role for human moral agency, on the other. This paper tracks some of the influences behind Kaufman's program (primarily H. Richard Niebuhr and (...) Henry Nelson Wieman) and then utilizes the flat ontology that emerges in the work of philosopher/sociologist of science Bruno Latour and of environmental philosopher Timothy Morton in order to point toward a reconstructed immanent theocentrism that no longer stakes meaning and value on the unique place of the human. Such a theology remains theocentric, but is now fully ecological. (shrink)

Doug Walton, who died in January 2020, was a prolific author whose work in informal logic and argumentation had a profound influence on Artificial Intelligence, including Artificial Intelligence and Law. He was also very interested in interdisciplinary work, and a frequent and generous collaborator. In this paper seven leading researchers in AI and Law, all past programme chairs of the International Conference on AI and Law who have worked with him, describe his influence on their work.

Importance Informed consent is essential to ethical, rigorous research and is important to recruitment and retention in cancer trials.Objective To examine cancer clinical trial (CCT) participants’ perceptions of informed consent processes and variations in perceptions by cancer type.Design and Setting and Participants Cross-sectional survey from mixed-methods study at National Cancer Institute–designated Northeast comprehensive cancer center. Open-ended and forced-choice items addressed: (1) enrollment and informed consent experiences and (2) decision-making processes, including risk-benefit assessment. Eligibility: CCT participant with gastro-intestinal or genitourinary, hematologic-lymphatic (...) malignancies, lung cancer, and breast or gynecological cancer (N = 334).Main Outcome Measures Percentages satisfied with consent process and information provided; and assessing participation’s perceptions of risks/benefits. Multivariable logistic or ordinal regression examined differences by cancer type.Results Most patient-participants felt well informed by the consent process (more than 90% overall and by cancer type) and. most (87.4%) reported that the consent form provided all the information they wanted, although nearly half (44.8%) reported that they read the form somewhat carefully or less. More than half (57.9%) said that talking to research staff (i.e., the consent process) had a greater impact on participation decisions than reading the consent form (2.1%). A third (31.1%) were very sure of joining in research studies before the informed consent process (almost half of lung cancer patients did—47.1%). Most patients personally assessed the risks and benefits before consenting. However, trust in physicians played an important role in the decision to enroll in CCT.Conclusions and Relevance Cancer patients rely less on written features of the informed consent process than on information obtained from the research staff and their own physicians. Research should focus on information and communication strategies that support informed consent from referring physicians, researchers, and others to improve patient risk-benefit assessment and decision-making. (shrink)

Over the course of the last four decades, William Leon McBride has distinguished himself as one of the most esteemed and accomplished philosophers of his generation. This volume—which celebrates the occasion of his seventy-fifth birthday—includes contributions from colleagues, friends, and formers students and pays tribute to McBride’s considerable achievements as a teacher, mentor, and scholar.

The success of deep brain stimulation (DBS) for movement disorders and the improved understanding of the neurobiologic and neuroanatomic bases of psychiatric diseases have led to proposals to expand current DBS applications. Recent preclinical and clinical work with Alzheimer's disease and obsessive-compulsive disorder, for example, supports the safety of stimulating regions in the hypothalamus and nucleus accumbens in humans. These regions are known to be involved in addiction and overeating associated with obesity. However, the use of DBS targeting these areas (...) as a treatment modality raises common ethical considerations, which include informed consent, coercion, enhancement, threat to personhood, and manipulation of the reward center. Pilot studies for both of these conditions are currently investigational. If these studies show promise, then there is a need to address the ethical concerns related to the initiation of clinical trials including the reliability of preclinical evidence, patient selection, study design, compensation for participation and injury, cost-effectiveness, and the need for long-term follow-up. Multidisciplinary teams are necessary for the ethical execution of such studies. In addition to establishing safety and efficacy, the consideration of these ethical issues is vital to the adoption of DBS as a treatment for these conditions. We offer suggestions about the pursuit of future clinical trials of DBS for the treatment of addiction and overeating associated with obesity and provide a framework for addressing ethical concerns related to treatment. (shrink)

Plausible (eikotic) reasoning known from ancient Greek (late Academic) skeptical philosophy is shown to be a clear notion that can be analyzed by argumentation methods, and that is important for argumentation studies. It is shown how there is a continuous thread running from the Sophists to the skeptical philosopher Carneades, through remarks of Locke and Bentham on the subject, to recent research in artificial intelligence. Eleven characteristics of plausible reasoning are specified by analyzing key examples of it recognized as important (...) in ancient Greek skeptical philosophy using an artificial intelligence model called the Carneades Argumentation System (CAS). By applying CAS to ancient examples it is shown how plausible reasoning is especially useful for gaining a better understanding of evidential reasoning in law, and argued that it can also be applied to everyday argumentation. Our analysis of the snake and rope example of Carneades is also used to point out some ways CAS needs to be extended if it is to more fully model the views of this ancient philosopher on argumentation. (shrink)

Gordon Knight recently challenged my assumption, which I made for the purpose of organizing and classifying certain theological disputes, that a specific set of three propositions is logically inconsistent . In this brief rejoinder, I explain Knight’s objection and show why it rests upon a misunderstanding.

In a classic article, philosopher William P. Alston argues that nonrealism, “though rampant nowadays even among Christian theologians,” is “subversive” of theistic faith.1 Among contemporaries guilty of succumbing to this philosophical bogey, Gordon Kaufman is singled out as an especially illuminating example. Alston notes that in the essays that make up God the Problem, Kaufman makes use of a distinction between the “available referent” of theistic language and its “real referent,” the former indicating the actual object of religious experience (...) and responses, and the latter appearing only as the “I-know-not-what” that ultimately grounds them. By the time Kaufman writes In Face of Mystery, Alston suggests, the .. (shrink)

The study of anarchism as a philosophical, political, and social movement has burgeoned both in the academy and in the global activist community in recent years. Taking advantage of this boom in anarchist scholarship, Nathan J. Jun and Shane Wahl have compiled twenty-six cutting-edge essays on this timely topic in New Perspectives on Anarchism.

We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...) a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

This paper describes the application of eight statistical and machine-learning methods to derive computer models for predicting mortality of hospital patients with pneumonia from their findings at initial presentation. The eight models were each constructed based on 9847 patient cases and they were each evaluated on 4352 additional cases. The primary evaluation metric was the error in predicted survival as a function of the fraction of patients predicted to survive. This metric is useful in assessing a model’s potential to assist (...) a clinician in deciding whether to treat a given patient in the hospital or at home. We examined the error rates of the models when predicting that a given fraction of patients will survive. We examined survival fractions between 0.1 and 0.6. Over this range, each model’s predictive error rate was within 1% of the error rate of every other model. When predicting that approximately 30°K of the patients will survive, all the models have an error rate of less than 1.5%. The models are distinguished more by the number of variables and parameters that they contain than by their error rates; these differences suggest which models may be the most amenable to future implementation as paper-based guidelines. (shrink)

The purpose of the following text is to give readers a general introduction to Gordon Pask’s conversation theory, which is considered here to be a cybernetic and epistemological account of concept-forming and concept-sharing through conversational discourse and practice. While Pask devoted three lengthy tomes to articulate the theory and its applications, I believe it is necessary to give readers who are interested in conversation theory a general introduction to what I believe are the key features of his work in (...) this area. I argue that conversation theory should be considered an inferential account of the theory of concepts rather than a representational account, by virtue of Pask’s argument that a concept must be a process that involves many other concepts. (shrink)

Stich & Ravenscroft (1994) have argued that (contrary to most people's initial assumptions) a simulation account of folk psychology may be consistent with eliminative materialism, but they fail to bring out the full complexity or the potential significance of the relationship. Contemporary eliminativism (particularly in the Churchland version) makes two major claims: the first is a rejection of the orthodox assumption that realistically construed propositional attitudes are fundamental to human cognition; the second is the suggestion that with the advancement of (...) scientific understanding of the mind it will be possible to entirely eliminate the mentalistic and intentional from our ontology, thus dissolving the mind-body problem. The first claim (which has been argued in detail) supplies the principal grounds for accepting the second, much more ambitious and significant, claim. Robert Gordon's (1995, 1996, 2000) radical simulation theory of "folk psychology", proposed initially (Gordon, 1986) as an alternative to "theory theory" accounts of self and interpersonal understanding, but subsequently developing into a quite general challenge to symbolic computational accounts of mind, is not merely consistent with, but actually provides considerable additional support for, the first eliminativist claim. However, although radical simulationism has no use for reified propositional attitudes, it relies on another family of mentalistic and intentional notions, including perspective taking, "seeing as", pretending, imagery, and, most centrally, imagination. It is thus inconsistent with eliminativist metaphysical ambitions. Nevertheless, from this perspective the mind-body problem is transformed. Its solution no longer depends on accounting directly for the intentionality of the attitudes, but rather on accounting for the intentionality of imagination. Although standard accounts of imagination derive its intentionality from that of the attitudes, the recently proposed "perceptual activity" theory of imagery and imagination (Thomas, 1999) can provide a direct account of the intentionality of imagination that is consistent with physicalism.. (shrink)